A generalization of cellular automata over groups
نویسندگان
چکیده
Let G be a group and let A finite set with at least two elements. cellular automaton (CA) over AG is function τ:AG→AG defined via memory S⊆G local μ:AS→A. The goal of this paper to introduce the definition generalized (GCA) τ:AG→AH, where H another arbitrary group, homomorphism ϕ:H→G. Our preserves essence CA, as we prove analogous versions three key results in theory CA: Curtis-Hedlund Theorem for GCA, Composition Invertibility GCA. When = H, that invertible GCA isomorphic semidirect product Aut(G)op CA. Finally, apply our study automorphisms monoid CA(G;A) consisting all CA . In particular, show every ϕ∈Aut(G) defines an automorphism conjugation by ϕ, that, when abelian, Aut(G) embedded outer CA(G;A).Communicated Pedro Garcia-Sanchez
منابع مشابه
A Generalization of Cellular Automata
Cellular auto mata (CA) models have historically included only a bounded amo unt of state information. Giving cells the ab ility to send and receive a possibly unb ounded number of finite size messages creates three possible CA programming models: bounded state only, unb ounded messaging only, and both bounded state and un bound ed messaging. It is shown t hat the lat ter , alt hough computat i...
متن کاملPost-surjectivity and balancedness of cellular automata over groups
We discuss cellular automata over arbitrary finitely generated groups. We call a cellular automaton post-surjective if for any pair of asymptotic configurations, every preimage of one is asymptotic to a preimage of the other. The well known dual concept is pre-injectivity: a cellular automaton is pre-injective if distinct asymptotic configurations have distinct images. We prove that pre-injecti...
متن کاملa generalization of strong causality
در این رساله t_n - علیت قوی تعریف می شود. این رده ها در جدول علیت فضا- زمان بین علیت پایدار و علیت قوی قرار دارند. یک قضیه برای رده بندی آنها ثابت می شود و t_n- علیت قوی با رده های علی کارتر مقایسه می شود. همچنین ثابت می شود که علیت فشرده پایدار از t_n - علیت قوی نتیجه می شود. بعلاوه به بررسی رابطه نظریه دامنه ها با نسبیت عام می پردازیم و ثابت می کنیم که نوع خاصی از فضا- زمان های علی پایدار, ب...
Non-Uniform Automata Over Groups
A new model, non-uniform deterministic finite automata (NUDFA’s) over general tinite monoids, has recently been developed as a strong link between the theory of finite automata and low-level parallel complexity. Achievements of this model include the proof that width 5 branching programs recognize exactly the languages in non-uniform NC’, NUDFA characterizations of several important subclasses ...
متن کاملExtended finite automata over groups
Some results from Dassow and Mitrana (Internat. J. Comput. Algebra (2000)), Griebach (Theoret. Comput. Sci. 7 (1978) 311) and Ibarra et al. (Theoret. Comput. Sci. 2 (1976) 271) are generalized for finite autómata over arbitrary groups. The closure properties of these autómata are poorer and the accepting power is smaller when abelian groups are considered. We prove that the addition of any abel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications in Algebra
سال: 2023
ISSN: ['1532-4125', '0092-7872']
DOI: https://doi.org/10.1080/00927872.2023.2177663